Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Search: ^p

Education/MFES0910 Web Changed Changed by
ProcessosArquitecturasSoftware 04 May 2007 - 10:47 - r3 AlcinoCunha
Processos e Arquitecturas de Software Este módulo constitui uma introdução ao estudo da arquitectura dos sistemas na dupla perspectiva da estrutura das suas intera ...
Programa 25 May 2010 - 11:09 - r4 JoseNunoOliveira
Módulos A UCE consta dos módulos seguintes, CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
ProjectoIntegrado 19 Nov 2010 - 23:35 - r36 JoseNunoOliveira
Projecto Integrado (II) 15 July Milestone Workshop schedule Morning: Begin End Description External(s) Medium 10h00 10h30 SIG1 J.Visser ...
Found 3 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM